A Bottom-Up Algorithm for t-Tautologies

نویسنده

  • Simone Bova
چکیده

Fuzzy logics based on residuated t-norms provide a robust mathematical formalism for logical deduction under uncertain or vague premises. In this paper, we describe a decision algorithm for the tautology problem of Basic Logic, which is the logic of continuous t-norms and their residua [Háj98, CEGT00]. Our algorithm is a refinement of the semantic method of Baaz, Hájek, Montagna, and Veith [BHMV02].

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Effect of Insulated Up and Down Lid Motion on the Heat Transfer of a Lid-Driven Cavity with an attached fin

This study investigates the effect of lid motion on the optimal characteristics a thin rectangular fin attached on the hot wall of a square lid-driven cavity with active vertical walls. The optimal fin position is studied for Richardson numbers of 0.1-10. The effect of mounting a rectangular fin with a thermal conductivity of 1 and 1000 on minimization and maximization of heat transfer through ...

متن کامل

Are there Hard Examples for Frege Systems?

It is generally conjectured that there is an exponential separation between Frege and extended Frege systems. This paper reviews and introduces some candidates for families of combinatorial tautologies for which Frege proofs might need to be superpolynomially longer than extended Frege proofs. Surprisingly, we conclude that no particularly good or convincing examples are known. The examples of ...

متن کامل

A New Time-Space Lower Bound for Nondeterministic Algorithms Solving Tautologies

We show that for all reals c and d such that cd < 4 there exists a positive real e such that tautologies cannot be decided by both a nondeterministic algorithm that runs in time n, and a nondeterministic algorithm that runs in time n and space n. In particular, for every real d < 3 √ 4 there exists a positive real e such that tautologies cannot be decided by a nondeterministic algorithm that ru...

متن کامل

The effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills

Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...

متن کامل

The effect of bottom-up and top-down auditory program training on the development of children's auditory processing skills

Although there have been several previous investigations on the role of auditory training for the development of auditory processing skills, it still remains unknown whether children with auditory processing difficulties can get improved auditory skills after exposure to a multi-modal training experience comprising both visual and tactile stimuli. The present study, therefore, attempted to use ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007